<?php
	echo '<div id="bookshop-login-menu">
			<fieldset>
				<p>You are logged in as: ' . $_SESSION['username'] . '</p>
				<ul>
					<li><a href="index.php?mybooks">My Textbook List</a></li>
					<li><a href="index.php?logout">Logout</a></li>
				</ul>
			</fieldset>
			</div>
			';
	
?>